Lower semilattice-ordered residuated semigroups and substructural logics

We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics

Roles of the DYRK Kinase Pom2 in Cytokinesis, Mitochondrial Morphology, and Sporulation in Fission Yeast

Pom2 is predicted to be a dual-specificity tyrosine-phosphorylation regulated kinase (DYRK) related to Pom1 in Schizosaccharomyces pombe. DYRKs share a kinase domain capable of catalyzing autophosphorylation on tyrosine and exogenous phosphorylation on serine/threonine residues. Here we show that Pom2 is functionally different from the well-characterized Pom1, although they share 55% identity in the kinase domain and the Pom2 kinase domain functionally complements that of Pom1. Pom2 localizes to mitochondria throughout the cell cycle and to the contractile ring during late stages of cytokinesis. Overexpression but not deletion of pom2 results in severe defects in cytokinesis, indicating that Pom2 might share an overlapping function with other proteins in regulating cytokinesis. Gain and loss of function analyses reveal that Pom2 is required for maintaining mitochondrial morphology independently of microtubules. Intriguingly, most meiotic pom2Δ cells form aberrant asci with meiotic and/or forespore membrane formation defects. Taken together, Pom2 is a novel DYRK kinase involved in regulating cytokinesis, mitochondrial morphology, meiosis, and sporulation in fission yeast

Tracking Information

Depending on a relevant task at hand, information can be represented at different levels, less or more detailed, each supporting its own appropriate logical languages. We discuss a few of these levels and their connections, and investigate when and how information growth at one level can be tracked at another. The resulting view has two intertwined forms of logical dynamics for informational agents: one of update and one of representation. Mike Dunn has been a lifelong pioneer in the study of logic and information, with seminal contributions to relevant and resource logics, including their semantic, algebraic and proof-theoretic dimensions. I offer the thoughts to follow as an academic fellow-traveler

Roles of Pdk1p, a Fission Yeast Protein Related to Phosphoinositide-dependent Protein Kinase, in the Regulation of Mitosis and Cytokinesis

Proteins related to the phosphoinositide-dependent protein kinase family have been identified in the majority of eukaryotes. Although much is known about upstream mechanisms that regulate the PDK1-family of kinases in metazoans, how these kinases regulate cell growth and division remains unclear. Here, we characterize a fission yeast protein related to members of this family, which we have termed Pdk1p. Pdk1p localizes to the spindle pole body and the actomyosin ring in early mitotic cells. Cells deleted for pdk1 display multiple defects in mitosis and cytokinesis, all of which are exacerbated when the function of fission yeast polo kinase, Plo1p, is partially compromised. We conclude that Pdk1p functions in concert with Plo1p to regulate multiple processes such as the establishment of a bipolar mitotic spindle, transition to anaphase, placement of the actomyosin ring and proper execution of cytokinesis. We also present evidence that the effects of Pdk1p on cytokinesis are likely mediated via the fission yeast anillin-related protein, Mid1p, and the septation initiation network

The Nuclear Kinase Lsk1p Positively Regulates the Septation Initiation Network and Promotes the Successful Completion of Cytokinesis in Response to Perturbation of the Actomyosin Ring in Schizosaccharomyces pombe

Cytokinesis in fission yeast requires the function of an actomyosin-based contractile ring whose constriction is dependent on a signaling module termed the septation initiation network (SIN). In response to minor perturbation of the ring, the duration of SIN signaling is extended concurrently with a delay in nuclear cycle progression. These mechanisms require the conserved phosphatase Clp1p/Flp1p and facilitate the successful completion of cytokinesis, thereby increasing cellular viability. To isolate novel components of this cytokinesis monitoring system, we screened a genome-wide bank of protein kinase deletion mutants and identified Lsk1p, a nuclear-localized protein kinase. Similar to clp1Δ mutants, and in contrast to wild type, lsk1Δ cells are unable to maintain the integrity of the actomyosin ring upon treatment with low doses (0.3 μM) of latrunculin A. However, unlike clp1Δ mutants, lsk1Δ cells are competent to delay nuclear cycle progression after cytokinetic failure. In addition, lsk1Δ mutants suppress the lethal, multiseptate phenotype conferred by hyperactivation of the SIN, demonstrating that Lsk1p is a positive regulator of this module. In this report, we demonstrate that Lsk1p acts in parallel to Clp1p to promote actomyosin ring stability upon checkpoint activation. Our studies also establish that actomyosin ring maintenance and nuclear cycle delay in response to cytokinetic perturbation can be genetically resolved into independent pathways